graph theory:edge